In geometria, una immersione è una funzione differenziabile fra varietà differenziabili, il cui differenziale è ovunque iniettivo.
Le immersioni non sono necessariamente iniettive globalmente, ma lo sono localmente. La nozione di immersione è duale a quella di Sommersione.